Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
711	Fluctuations, effective learnability and metastability in analysis Ulrich Kohlenbach, Pavol Safarik Department of Mathematics, Technische Universit¨ at Darmstadt, Schlossgartenstraße 7, 64289 Darmstadt, Germany Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-05-10 05:50:36 Computability theory Mathematical logic Mathematics Theoretical computer science Theory of computation Computable function Primitive recursive function operator Language identification in the limit Sequence Arithmetical hierarchy Cauchy sequence
712	The Nearest Replica Can Be Farther Than You Think Kirill Bogdanov Miguel Pe´on-Quir´os ∗ KTH Royal Institute of Technology Add to Reading List Source URL: acmsocc.github.io Language: English - Date: 2016-02-21 03:10:51 Data management Computing Software NoSQL Structured storage Fault-tolerant computer systems Data synchronization Algorithm Theoretical computer science Distributed computing Replication Apache Cassandra
713	Professorships \| Professor Roger Wattenhofer, Distributed Computing Group Prof. Roger Wattenhofer Distributed Computing Curriculum Vitae Prof. Roger P. Wattenhofer Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:33:40 Concurrent computing Computing Distributed computing Edsger W. Dijkstra Roger Wattenhofer Symposium on Principles of Distributed Computing Dijkstra Prize ACM SIGACT Theoretical computer science Friedemann Mattern Nir Shavit Peer-to-peer
714	Certified Symbolic Management of Financial Multi-party Contracts ∗ Jost Berthold Patrick Bahr Department of Computer Science, Add to Reading List Source URL: hiperfit.dk Language: English Theoretical computer science Logic Mathematical logic Denotational semantics Logic in computer science Symbol Substitution
715	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml
716	Joint CQSE and CASTS Seminar Weekly Seminar May 6, 2016 (Friday) TIME May 6, 2016, 14:30 ~ 15:30 TITLE Add to Reading List Source URL: cqse.ntu.edu.tw Language: English Chemistry Physics Emerging technologies Spintronics Quantum mechanics Monolayers Nanomaterials Theoretical computer science Potential applications of graphene Graphene Spin polarization Spin
717	Volume 6, Issue 13 ■ Advanced manufacturing (1) Add to Reading List Source URL: www.defenseinnovationmarketplace.mil Language: English - Date: 2016-03-25 14:24:11 Quantum mechanics Emerging technologies Physics Theoretical computer science Quantum computing Quantum information science Optics Nanomaterials Photonics Potential applications of graphene Graphene Qubit
718	Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:59 Computability theory Mathematical logic Mathematics Theoretical computer science Primitive recursive function Primitive recursive arithmetic ELEMENTARY Reverse mathematics Pairing function Ackermann function Sequence Recursion
719	Genetic and Evolutionary Computation Conference 2015 Conference Program Madrid, Spain July 11-15, 2015 Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2015-07-08 14:54:02 Evolutionary computation Mathematical optimization Theoretical computer science Applied mathematics Cybernetics Genetic and Evolutionary Computation Conference Enrique Alba Mathematics Algorithmic Number Theory Symposium Genetic algorithm Catholic university National university
720	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Declarative programming Computer programming Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function

UPDATE